- проверка типов
- type checking вчт.
Русско-английский словарь по электронике. 2009.
проверка типов
Look at other dictionaries:
проверка — 2.9 проверка [аудит]: Систематическая и объективная деятельность по оценке выполнения установленных требований, проводимая лицом (экспертом) или группой лиц, независимых в принятии решений. Источник: ГОСТ Р 52549 2006: Система управления… … Словарь-справочник терминов нормативно-технической документации
Проверка возможности организации всех типов индивидуальных каналов и оперативного изменения их количества и типов — 16. Проверка возможности организации всех типов индивидуальных каналов и оперативного изменения их количества и типов 16.1. Аппаратура 16.1.1. Осциллограф двухлучевой (O1), полоса пропускания от 0 до 1 мГц. 16.1.2. Измеритель краевых искажений… … Словарь-справочник терминов нормативно-технической документации
Проверка сохранности защитных свойств при испытаниях на соответствие нормальным условиям транспортирования — 1. Проверка сохранности защитных свойств при испытаниях на соответствие нормальным условиям транспортирования 1.1. Проверку защитных свойств проводят для определения однородности материала радиационной защиты контейнера и ее эффективности, т.е.… … Словарь-справочник терминов нормативно-технической документации
контроль типов — проверка соответствия типов — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом Синонимы проверка соответствия типов EN type check … Справочник технического переводчика
Статистическая проверка гипотез — система приёмов в математической статистике (См. Математическая статистика), предназначенных для проверки соответствия опытных данных некоторой статистической гипотезе (См. Статистическая гипотеза). Процедуры С. п. г. позволяют принимать… … Большая советская энциклопедия
Euphoria (язык программирования) — У этого термина существуют и другие значения, см. Euphoria. Euphoria Семантика: императивный Класс языка: процедурный Тип исполнения: интерпретация, интерп … Википедия
C++ — У этого термина существуют и другие значения, см. C. См. также: Си (язык программирования) C++ Семантика: мультипарадигмальный: объектно ориентированное, обобщённое, процедурное, метапрограммирование Тип исполнения: компилируемый Появился в … Википедия
Си (язык программирования) — У этого термина существуют и другие значения, см. Си. Запрос «Язык программирования Си» перенаправляется сюда; см. также другие значения. Си Класс языка: процедурный Тип исполнения: компилируемый Появился в: 1969 1973 Автор( … Википедия
Язык C — Си Семантика: процедурный Тип исполнения: компилируемый Появился в: 1969 73 г. Автор(ы): Кен Томпсон, Денис Ритчи Типизация данных: статическая Основные реализации … Википедия
Язык С — Си Семантика: процедурный Тип исполнения: компилируемый Появился в: 1969 73 г. Автор(ы): Кен Томпсон, Денис Ритчи Типизация данных: статическая Основные реализации … Википедия
Язык Си — Си Семантика: процедурный Тип исполнения: компилируемый Появился в: 1969 73 г. Автор(ы): Кен Томпсон, Денис Ритчи Типизация данных: статическая Основные реализации … Википедия
